9
9.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 9
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gino Sorcinelli
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
TRANSACTIONAL MEMORY (TM) aims to simplify parallel programming by guaranteeing that transactions appear to execute atomically and in isolation. Implementing these properties includes providing version management for the simultaneous storage of both new data (to be visible if the transaction commits) and old data (retained if the transaction aborts). Especially after cache overflows, most (hardware) TM systems leave the old value 'in place' (the target memory address) and buffer the new value...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Mark Hill
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Knowledge is power: but most knowledge is tied up in text. How then do one billion illiterate adults in the world access knowledge crucial to preventing disease, creating economic opportunity, and defending their political and human rights? In response to this problem Literacy Bridge was founded to empower children and adults with tools for scalable knowledge sharing and literacy learning. The Talking Book Project is Literacy Bridge’s major program, developing new and affordable digital audio...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Cliff Schmidt
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
The design of models that learn textual entailment recognizers from annotated examplesis not simple as it requires the modeling of semantics involved in the interaction of pairsof text fragments. In this talk, we firstly introduce the class of pair feature spaces whichallow supervised machine learning algorithms to derive first-order rewrite rules from annotatedexamples. In particular, we propose the syntactic and the shallow semantic pairfeature spaces. ©2008 Microsoft Corporation. All rights...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bill Dolan, Fabio Massimo Zanzotto
9
9.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 9
favorite 0
comment 0
The idiosyncrasies of human decision-making have confounded economists and social theorists for years. If each person makes choices for personal (and often irrational) reasons, how can people's choices be predicted? What if someone told you that the way to understand human behavior is through physics rather than psychology? Computer modeling now enables us to look at humans as 'social atoms', and here we find that our collective behavior follows precise mathematical patterns. If we study...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Mark...
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Since the tragic events of 9/11 we keep hearing security experts demand tighter restrictions on daily life, while civil libertarians preach we should accept risk in order to avoid an overbearing 'Big Brother' state. Both groups implicitly assume a tradeoff between safety and freedom. But is such a tradeoff necessary? For generations, normal people have grown detached from responsibility for protecting and maintaining civilization, handing ever-more of that task to paid professionals. But on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, David Brin
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
We present a novel tree representation for the hard-core lattice gas model (weighted independent sets) on a general graph. We use this representation to show that for any graph of maximum degree D, the Gibbs measure is unique (the influence of any boundary condition decays with distance) provided that the activity parameter λ < λ c , where λ c is the critical activity for the regular tree of degree D. This resolves an open conjecture in statistical physics. Also, since λ c is known, this...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Elchanan Mossel, Dror Weitz
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
This talk will consider a few cases from the ACM Risks Forum archives (http://www.risks.org) for which the sensible use of formal methods could have made a decisive difference in avoiding serious consequences – with respect to requirements, specifications, human interfaces, implementation, and even operation, typically in systems that were supposedly safe, reliable, or secure. This will provide a view to the future in terms of things we can learn about the past. ©2004 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Spencer, Wolfram Schulte, Peter...
6
6.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jim Gray
4
4.0
Dec 2, 2015
12/15
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. We show how to apply counter abstraction to real-world concurrent programs to factor out redundancy due to thread replication. The traditional global state representation as a vector of local states is replaced by a vector of thread counters, one per local state. In...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Leonardo de Moura, Daniel Kroening
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Despite the best efforts of programmers, programs still ship with bugs. Many of these bugs manifest as anomalies the heap. This talk discusses two low-overhead synergistic techniques for discovering heap anomalies by exploiting the underlying runtime system. The first, dynamic object sampling, is a technique for selectively tagging objects with characteristics. Summarization graphs provide a compact representation of collecting heap characteristics. We show that these techniques can stand alone...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Maria Jump
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Automated reasoning in classical logic has received much attention in the literature. Mature resolution theorem provers such as Vampire and E can handle enormous problems in first-order classical logic with equality. Waldmeister, a theorem prover for unit equational logic, has been incorporated into Mathematica as an equational reasoning method. Somewhat surprisingly, there has been much less attention devoted to non-classical logics. This is unfortunate, since many interesting and useful...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nikolaj Bjorner, Sean McLaughlin
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
While the public and the media have been distracted by the story of Napster, warnings about the evils of “piracy” and lawsuits by the recording and film industries, the enforcement of copyright law in the digital world has quietly shifted from regulating copying to regulating the design of technology. Lawmakers and commercial interests are pursuing what might be called a technical fix: instead of specifying what can and cannot be done legally with a copyrighted work, this new approach calls...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Tarleton...
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Abstract: Testing with manually generated test cases is the primary technique used in industry to improve reliability of software--in fact, such testing is reported to account for over half of the typical cost of software development. I will describe Concolic Testing, a systematic and efficient method which combines random and symbolic testing. Concolic testing enables automatic and systematic testing of large programs, avoids redundant test cases and does not generate false warnings....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilimbi, Dr. Koushik Sen
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
A surge of recent research in machine learning and statistics has developed new techniques for finding patterns of words in document collections using hierarchical probabilistic models. These models are called 'topic models' because the word patterns often reflect the underlying topics that are combined to form the documents; however topic models also naturally apply to such data as images and biological sequences. After reviewing the basics of topic modeling, I will describe two related lines...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Heckerman, David Blei
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Concurrency in user applications is on the rise. Modern computers have multiple hardware threads per processor and multiple processors per chip, each of which may switch to a different software thread many times per second. Applications of the future will be heavily multithreaded. My research aims to make such programs easier to write and more resilient to the performance programs historically caused by preemption. After surveying work in several areas (including preemption-tolerant locks and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, William N. Scherer III
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Mobile Personal Sensing systems leveraging mobile phones offer unprecedented observational capacity at the scale of the individual; at the same time they are remarkably scalable and affordable given the wide proliferation of cellular phone infrastructure and consumer devices that incorporate location services such as GPS, digital imagers, bluetooth short-range radios, and easy programmability. These systems promise to become a very effective “make a case” technology to address a range of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ratul Mahajan, Deborah Estrin
15
15
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 15
favorite 0
comment 0
It is time to put our most hard-held assumptions about children, parenting and education to the test of current science: and when we do so, we will find how erroneous some of those assumptions can be. For example, did you know: That exposing kids to day to day marital conflict may actually be good for them? That tests for “gifted” schools identify appropriate children only 37% of the time? That young children are more aggressive after watching television shows like “Arthur” than...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Po Bronson
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
This session will cover the Xilinx next generation 40 and 45nm FPGAs Virtex-6 and Spartan-6. The key features of both families including new I/O capabilities, high speed clocking, FPGA fabric, Multi-Gigabit transceivers, and memory will be covered. In addition to features the session will cover the product families and the release schedule. For a quick overview of the new families go to http://www.xilinx.com/products/v6s6.htm ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ray Bittner, Don Matson
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Today's Internet seamlessly connects billions of users that mostly pursue selfish motives in both, single-handed and collaborative ways. By design the Internet is anarchic and hence, it is devoid of a central authority that possesses global knowledge and the power to regulate the agents' behavior. In this talk we focus on the design of so called 'mechanisms' that encourage truthful and fair behavior among the agents/users by means of issuing rewards and by postulating interaction rules. We...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dimitris Achlioptas, Stefano Leonardi
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Researchers of child language have typically assumed that the acquisition of grammatical morphemes provides evidence of syntactic competence. However, experimental research by Gerken (1996) and colleagues suggests that the variable appearance of some grammatical morphemes may be conditioned by phonological factors. This talk reviews some of our recent corpus research on English and French, showing that 2-year-olds are much more likely to produce grammatical morphemes such as determiners and 3rd...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Hisami Suzuki, Katherine Demuth
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Mark Hereld
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
We study the evolution of social networks that contain both friendly and unfriendly links between individual nodes. The network is endowed with dynamics in which the sense of a link in an imbalanced (frustrated) triad---a triangular loop with 1 or 3 unfriendly links---is reversed to make the triad balanced. Thus a balanced triad fulfills the adage: 'friend of my friend is my friend; an enemy of my friend is my enemy; a friend of my enemy is my enemy; an enemy of my enemy is my friend.' With...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes & Christian Borgs,...
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
The notion of a ”market” has undergone a paradigm shift with the Internet – totally new and highly successful markets have been defined and launched by companies such as Google, Yahoo!, Amazon, MSN and Ebay. Another major change is the availability of massive computational power for running these markets in a centralized or distributed manner. In view of these new realities, the study of market equilibria, an important, though essentially non-algorithmic, theory within Mathematical...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kamal Jain, Vijay Vazirani
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
This talk introduces the five-year COE (Center of Excellence) program “Framework for Systematization and Application of Large-scale Knowledge Resources,” that launched in 2003 at Tokyo Institute of Technology. The project is conducting a wide range of interdisciplinary research combining humanities and technology to create a framework for the systematization and the application of large-scale knowledge resources in electronic forms. Spontaneous speech, written language, materials for...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Li Deng, Sadaoki Furui
0
0.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Research in summarization has been handicapped by a lack of agreement on how to generate a standard summary (which can serve as a reference in the evaluation of alternative approaches). Part of the problem rests in disagreement between different humans on what constitutes a single good summary. We propose an alternate approach that dispenses with the need for a global reference and instead focuses on the ability of a summarizer to rapidly learn how an individual human summarizes material....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alexander Rudnicky
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Emilee J. Rader
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
In this talk, I will talk about our recent work on bandwidth allocation problem in two projects: TCP friendliness and P2P streaming. Exploring the design space of TCP-friendly traffic control protocols: While the current definition of TCP friendliness has enabled a wide variety of traffic control protocols other than TCP, it still considerably restricts the design space of TCP friendly traffic control protocols. In this project, we propose a new class of TCP friendliness definitions, called...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Lisong Xu
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Many students from developing countries dream about working for a place like Microsoft. Unfortunately, even basic education can be hard to attain when families are in poverty. Vietnam is one place where families must pay fees for elementary and secondary education. Families in rural areas often subsist on 2 or 3 dollars per day, which makes it difficult for them to afford schooling for their children. The Viet Nam Scholarship Foundation was established to provide ongoing support to these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Vahab Mirrokni and Jennifer Chayes, Gwen...
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
The complex multiplication method (CM method) builds an algebraic curve over a given finite field GF(q) and having an easily computable cardinality. Used at first for elliptic curves, this method is one of the building blocks of the ECPP algorithm that proves the primality of large integers, and it appeared interesting for other applications, the most recent of which being the construction of pairing friendly curves. The aim of the talk is to recall the method, give some applications, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Reinier Broker, Francois Morain
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, Soumen Chakrabarti
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
We consider what constitutes identities in cryptography. Typical examples include your name and your social-security number, or your fingerprint/iris-scan, or your address, or your (non-revoked) public-key coming from some trusted public-key infrastructure. In many situations, however, where you are defines your identity. For example, we know the role of a bank-teller behind a bullet-proof bank window not because she shows us her credentials but by merely knowing her location. In this paper, we...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Seny Kamara, Nishanth Chandran
5
5.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
The infusion of new information technologies in customer-firm interactions has redefined the roles customers can play in value creation and product innovation. Several companies (e.g. Microsoft, HP, Procter & Gamble, Volvo, Samsung, and Peugot) have established online or virtual product communities, virtual product prototyping and testing centers, and other virtual product forums – which I collectively refer to here as Virtual Customer Environments (VCEs) – to facilitate rich...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Satish Nambisan
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
How can a monoplist seller use social network effects to increase revenue earned? We identify a family of strategies called 'influence and exploit' strategies that are easy to implement, easy to optimize over and approximately optimal. Based on a paper that will appear in WWW 08. This was work, jointly with Jason Hartline and Vahab Mirrokni (MSR Redmond), while Mukund was an intern at MSR. ©2008 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Vahab MirrokniBanadaki, Mukund...
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
A wireless office is an office without wired Ethernet connectivity, or rather, one with the least number of machines connected by wires. What happens if we re-design the network in an office – remove all the network infrastructure (wireless APs, switches, routers, etc.), replace the Ethernet wires to every desktop and server with IEEE 802.11, and maintain a very small number of “gateway” machines for access to the wired corporate intranet and the Internet? We evaluated the feasibility of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Sharad Agarwal
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
In the seminar, I will describe a user study of a novel information seeking interface that provides support for multi-faceted information seeking and targeted relevance feedback. The user interface is based on a document 'pile' metaphor that allows a user to arrange retrieved documents in visible piles, label these piles according to various aspects/facets of their search, and request the system to find documents similar to those contained within piles. Two interfaces were devised to evaluate...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, David J. Harper
6
6.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
Workflow is an important enabling technology for eScience. Research into workflow systems for eScience has yielded several specialized workflow engines. We have been investigating the nature of scientific workflow and experimenting with the BizTalk business integration server to support scientific workflows. In particular we have built a simple web portal for bioinformatics which uses Biztalk as the underlying workflow engine. The portal has a novel web based interface making it accessible to a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Paul Roe
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Decreased enrollment in Computer Science has led many universities, businesses and government institutions to take a closer look at the field and how it is perceived. As computers become increasingly essential for education and commerce, how can we shape their image within the popular culture? Is it possible to re-invent CS, and to attract new students with diverse backgrounds, goals and talents? In this talk I will present a post-mortem of my (non-standard, but incredibly fulfilling) education...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, Robin Hunicke
0
0.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
In recent years, software model checking has been offered as a viable solution to the 'bug hunt' in software. Although only in its infancy, software model checking has shown promise in tackling this very difficult problem. In this talk, emphasis will be placed on the model checking within the verification process, whereby the abstracted Boolean program (modeled as a finite transition system) undergoes scrutiny. Conventional BDD-based model checking tools may suffer from space and/or...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Sriram Rajamani, Michael Hsiao
10
10.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 10
favorite 0
comment 0
In Lost in Space: The Fall of NASA and the Dream of a New Space Age, Greg Klerkx argues that ever since the triumphant Apollo missions, the Space Age has been stuck in the wrong orbit… and that NASA, the agency whose daring once fuelled the world’s space-faring vision, has been largely responsible for keeping it there. Down the years, NASA has ignored, belittled and actively quashed the one concept that could change the equation for the future of humans in space: human spaceflight as a free...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Greg Klerkx
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
A Semantic Desktop is a means to manage all personal information across application borders based on Semantic Web standards. It acts as an extended personal memory assisting users to file, relate, share, and access all digital information like documents, multimedia, and messages through a Personal Information Model (PIMO). This PIMO is build on ontological knowledge generated through user observations and interactions and may be seen as a formal and semi-formal complement of the user's mental...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ed Cutrell, Andreas Dengel
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
In this talk, accessible to everyone, I will present ongoing research projects from the Northwestern Networks Group. In the first part of the talk, I will explain how you can use search engines to accurately classify Internet endpoints. Next, I will talk about the ISP-enabled behavioral ad targeting problem. In particular, I will explain how it is possible to extract user browsing patterns without violating wiretap laws which explicitly prohibit intercepting the contents of communication. In...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Aleksandar Kuzmanovic
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
A complete system for distant speech recognition (DSR) typically consists of several distinct components. Among these are: An array of microphone for far-field sound capture; An algorithm for tracking the positions of the active speaker or speakers; A beamforming algorithm for focusing on the desired speaker and suppressing noise, reverberation, and competing speech from other speakers; A recognition engine to extract the most likely hypothesis from the output of the beamformer; A speaker...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Seltzer, John McDonough
12
12
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 12
favorite 0
comment 0
The Space Elevator, long considered a favorite topic in science fiction, has recently emerged as a mainstream concept for the development of commercial access to space. What was once thought ‘impossible’ is now being reconsidered - due to several ongoing research areas, including super-strong Material Sciences (Carbon NanoTube Composites) and advances in Robotic, Radar, Laser, PhotoVoltaic and Computing Technologies. The talk will touch briefly on the history of the 100 year old concept,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Stewart Tansley, Michael J. Laine
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Gemmell, Jane Greenberg
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shelly Farnham, Richard Hodkinson,...
3
3.0
Feb 9, 2014
02/14
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
As with any application of machine learning, web search ranking requires labeled data. The labels usually come in the form of relevance assessments made by editors. Click logs can also provide an important source of implicit feedback and can be used as a cheap proxy for editorial labels. The main difficulty however comes from the so called position bias — urls appearing in lower positions are less likely to be clicked even if they are relevant. In this paper, we propose a Dynamic Bayesian...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Burges, Olivier Chapelle
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Due to the size of the World Wide Web, it is necessary to develop tools for automatic or semi-automatic analyses of web data, such as finding patterns and implicit information in the web, a task usually known as Web Mining. In particular, web content mining consists of automatically mining data from textual web documents that can be represented with machine-readable semantic formalisms. While more traditional approaches to Information Extraction from text, such as those applied to the Message...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Enrique Alfonseca
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Many of our current research projects at MERL are squarely in the pervasive-computing realm, such as: interactive multi-user tabletop displays, operator-identifying automotive controls, digital home networking, location-aware RFID tags, semi-passive RFID tags for sensor networks, novel physical and chemical sensors, speech-based information retrieval for mobile devices, and vision-based person/object tracking. But because the results of this work have been or will be presented in forums...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Turner Whitted, Joe Marks
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Users typically want their flows to complete as quickly as possible. This makes Flow Completion Time (FCT) an important - arguably the most important - performance metric for the user. Yet research on congestion control focuses entirely on maximizing link throughput, utilization and fairness, which matter more to the operator than the user. This talk is about a new congestion control algorithm - Rate Control Protocol (RCP) - designed for fast download times (i.e. aka user response times, or...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dave Maltz, Nandita Dukkipati
